261. Formal techniques for distributed systems
پدیدآورنده : Dirk Beyer, Michele Boreale (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Electronic data processing-- Distributed processing, Congresses,Formal methods (Computer science), Congresses
رده :
QA76
.
9
.
D5
262. Formal techniques for networked and distributed systems
پدیدآورنده : / Edited by Myungchul Kim ... [et al.]
کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)
موضوع : Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
رده :
EB
,
QA76
.
9
F67I579
2001
263. Formal techniques for networked and distributed systems :FORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea
پدیدآورنده : edited by Myungchul Kim ... ]et al.[
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing - Distributed processing,Congresses ، Computer network protocols
رده :
QA
76
.
9
.
F67
I579
264. Formal techniques for networked and distributed systems: 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea [electronic resource]
پدیدآورنده : / Edited by Myungchul Kim ... [et al]
کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)
موضوع : Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
رده :
EB
,
QA76
.
9
.
F67
,
I579
2001
265. Fortran for scientists and engineers
پدیدآورنده : Chapman, Stephen J.
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، FORTRAN )Computer program language(,Data processing ، Science,Data processing ، Engineering
رده :
QA
76
.
73
.
F25
C425
2017
266. Foundations of Data Exchange
پدیدآورنده : / Arenas M., Barcelo P., Libkin L., Murlak F.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : MINERAL PROCESSING& ENGINEERING (uncategorised)|MINING &COMPUTER SCIENCE
رده :
E-BOOK
267. Foundations of Dependable Computing
پدیدآورنده : \ Edited by Gary M. Koob, Clifford G. Lau
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Electronic digital computers -- Reliability,Fault-tolerant computing,Real-time data processing,کامپیوترهای رقمی -- اطمینان‌پذیری ,محاسبه تحمل‌پذیری خطا,داده‌پردازی فوری
رده :
E-Book
,
268. Frontiers of high performance computing and networking
پدیدآورنده : / Geyong Min ... [et al.] (eds.)
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Parallel processing (Electronic computers) Congresses,Electronic data processing- Distributed processing Congresses,High performance computing Congresses,Computational grids (Computer systems) Congresses
رده :
QA76
.
88
.
F76
2006
269. Frontiers of high performance computing and networking
پدیدآورنده : / Geyong Min ... [et al.] (eds.)
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Parallel processing (Electronic computers) Congresses,Electronic data processing- Distributed processing Congresses,High performance computing Congresses,Computational grids (Computer systems) Congresses
رده :
QA76
.
88
.
F76
2006
270. Future generation information technology :
پدیدآورنده : Tai-hoon Kim ... [et al.] (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Electronic data processing, Congresses.,Information technology, Congresses.,Software engineering, Congresses.
271. Future generation information technology
پدیدآورنده : Young-hoon Lee ... [et al.] (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science, Congresses,Electronic data processing, Congresses,Information technology, Congresses,Software engineering, Congresses
رده :
T58
.
5
.
F98
2009eb
272. Fuzzy XML Data Management
پدیدآورنده : / Li Yan, Zongmin Ma, Fu Zhang
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : MINERAL PROCESSING& ENGINEERING (uncategorised)|MINING &COMPUTER SCIENCE
رده :
E-BOOK
273. Fuzzy neural intelligent systems
پدیدآورنده : / Hongxing Li, C.L. Philip Chen, Han-Pang Huang
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Neural networks (Computer science),Fuzzy systems,Engineering- Data processing
رده :
QA76
.
87
.
L5
2001
274. Fuzzy neural intelligent systems
پدیدآورنده : / Hongxing Li, C.L. Philip Chen, Han-Pang Huang
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Neural networks (Computer science),Fuzzy systems,Engineering- Data processing
رده :
QA76
.
87
.
L5
2001
275. Geometric algebra computing. in engineering and computer science
پدیدآورنده : Eduardo Bayro-Corrochano, Gerik Scheuermann, editors
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Clifford algebras- Data processing
رده :
QA
199
.
G45
2010
276. 2010 : Give Your Data Meaningض PowerPivot for ExcelضMicrosoft
پدیدآورنده : / Russo, Marco
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : MINERAL PROCESSING&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|MINING
رده :
E-BOOK
277. Global distributed applications with Windows DNA /
پدیدآورنده : Enrique Madrona.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Microsoft Windows (Computer file),Microsoft Windows (Computer file),Electronic data processing-- Distributed processing.,Internet.,Computer Science.,COMPUTERS-- Operating Systems-- General.,Electronic data processing-- Distributed processing.,Engineering & Applied Sciences.,Internet.
رده :
QA76
.
76
.
O63
M334
2000eb
278. Grid and distributed computing :
پدیدآورنده : Tai-hoon Kim...[et al.] (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computational grids (Computer systems), Congresses.,Electronic data processing-- Distributed processing, Congresses.
رده :
QA76
.
9
.
C58
G33
2011
279. Hall CRC Data Mining and Knowledge Discovery Series)&Data Mining with R: Learning with Case Studies (Chapman
پدیدآورنده : / Luis Torgo
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : MINERAL PROCESSING& CONTROL SYSTEMS|ENGINEERING, MULTIDISCIPLINARY|MINING & ENGINEERING (uncategorised)|AUTOMATION &COMPUTER SCIENCE
رده :
E-BOOK
280. Handbook of Data Compression
پدیدآورنده : / David Salomon, Giovanni Motta, D. Bryant
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : MINERAL PROCESSING& ELECTRONIC|ENGINEERING, MULTIDISCIPLINARY|MINING & METHODS|ENGINEERING, ELECTRICAL &COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
